English - the hottest programming language of the future
dev.toยท1hยท
Discuss: DEV
๐Ÿ”„Language Evolution
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Learning from software errors โ€“ Part 3: A Mars probe gets out of control
heise.deยท11h
๐Ÿ“žSession Types
High-Quality Video Tape Conversion for Homes and Businesses
forums.anandtech.comยท13h
๐Ÿ“ผTape Simulation
Programmer in Wonderland
binaryigor.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.comยท49mยท
๐Ÿ› ๏ธGreaseweazle
Open Lineage
usenix.orgยท15h
๐Ÿ”ŒInterface Evolution
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.comยท2d
๐Ÿ“บVT100
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
A disenshittification moment from the land of mass storage
doctorow.medium.comยท7h
๐ŸงฒMagnetic Philosophy
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Modern C and initializing an array
subethasoftware.comยท1d
๐Ÿ—‚Data structures
The Chip That Spoke Lisp
jxself.orgยท3d
๐Ÿค–Lisp Machines
Codeminer42 Dev Weekly #82
blog.codeminer42.comยท1h
๐ŸŽฏGradual Typing
The Legacy Code Survival Guide: Add Features Without Fear
understandlegacycode.comยท3d
๐Ÿ”“Decompilation
Experimenting with ACL2 and Claude Code
mikedodds.orgยท7hยท
Discuss: Hacker News
๐Ÿ‘‘Isabelle
Intent Weaving for AI Coding Agents
autohand.aiยท16hยท
Discuss: Hacker News
โšกProof Automation
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท19h
๐ŸŒŠStreaming Systems
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
N8n vs. Windmill vs. Temporal
blog.arcbjorn.comยท19hยท
Discuss: Hacker News
๐ŸŒŠStream Processing